Nuprl Lemma : or_true_r 13,42

A:. (A  True)  True 
latex


Upcore 2, core 2
Definitionst  T, P  Q, P  Q, P & Q, True, P  Q, P  Q, , x:AB(x)
Lemmastrue wf

origin